l{-}union{-}list(${\it eq}$; ${\it ll}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$list\_accum(${\it as}$,${\it bs}$.l{-}union(${\it eq}$; ${\it as}$; ${\it bs}$); []; ${\it ll}$)